totally bounded implies bounded